Skip to content

chore: use curl in build.rs#42

Merged
Brooooooklyn merged 3 commits intomainfrom
11-20-ci_test_targeting_old_glibc
Nov 21, 2025
Merged

chore: use curl in build.rs#42
Brooooooklyn merged 3 commits intomainfrom
11-20-ci_test_targeting_old_glibc

Conversation

@branchseer
Copy link
Copy Markdown
Member

No description provided.

Copy link
Copy Markdown
Member Author

This stack of pull requests is managed by Graphite. Learn more about stacking.

@branchseer branchseer marked this pull request as ready for review November 20, 2025 14:22
@branchseer branchseer force-pushed the 11-20-ci_test_targeting_old_glibc branch 2 times, most recently from 441fd8f to 9272536 Compare November 20, 2025 15:02
@branchseer branchseer force-pushed the 11-20-ci_test_targeting_old_glibc branch from 9272536 to f5b4bf7 Compare November 20, 2025 15:43
@branchseer branchseer changed the title ci: test targeting old glibc chore: use curl in build.rs Nov 20, 2025
@branchseer branchseer changed the title chore: use curl in build.rs chore: use curl in build.rs Nov 20, 2025
@Brooooooklyn Brooooooklyn merged commit 282e086 into main Nov 21, 2025
6 checks passed
@Brooooooklyn Brooooooklyn deleted the 11-20-ci_test_targeting_old_glibc branch December 11, 2025 06:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants